81. Coroutines : a programming methodology, a language design, and an implementation
پدیدآورنده : Marlin, Christopher D., 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
95
82. Data - Structures and programming
پدیدآورنده : / Malcolm C. Harrison
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
642
H321d
83. Data structures, files and databases
پدیدآورنده : Bamford, Carl
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Data bases,، Data structures )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D32
B3
1991
84. Decision table languages and systems
پدیدآورنده : Metzner, John R.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic digital computers -- Programming,، Decision logic tables
رده :
QA
76
.
6
.
M484
85. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
86. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
87. Denotational semantics : the Scott-Strachey approach to programming language theory
پدیدآورنده : Stoy, Joseph
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
88. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : Proceedings
پدیدآورنده : edited by B. Robinet and R. Wilhelm
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
213
89. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده : edited by B. Robinet and R. Wilhelm
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
213
90. ESOP 86 : European Symposium on Programming, Saarbrغucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده : European Symposium on Programming, )1st, 6891, Saarbrucken, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1986
91. Etude comparative des langages de programmation
پدیدآورنده : Eigman, Bryan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
H4914
92. Etude comparative des languages de programmation
پدیدآورنده : Higman, Bryan
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
H4914
93. Etude comparative des languages de programmation
پدیدآورنده : / par Bryan Higman, Traduit pad M. T. Margulici
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Programming languages [Electronic computers]
رده :
651
.
8
Hi-E
94. Exploring Robotics with ROBOTIS Systems
پدیدآورنده : Chi N. Thai
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science. , Programming languages (Electronic computers) , Artificial intelligence.
رده :
E-Book
,
95. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
96. Fairness
پدیدآورنده : Francez, Nissim
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
97. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
98. Flow analysis of computer programs
پدیدآورنده : Hecht, Matthew S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
99. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر-- نحو ,زبانهای برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
100. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
